constructive dilemma

[数] 构造性二难推论

热门查询